Theorems for free!
Philip Wadler
論文
pdf
Hask圏における自然変換
とどうやら関係があるらしい
mrsekut.icon*2
free theorem
関連
『The Algebra of Programming』
Filter-embedding Semiring Fusion for Programming with MapReduce
http://research.nii.ac.jp/~hu/pub/fac12.pdf
Semiring Fusion
https://www.tweag.io/posts/2018-03-08-linear-sort.html